--- Isabelle2016-orig/contrib/jfreechart-1.0.14-1/etc/settings	2013-09-12 07:46:57.000000000 +1000
+++ Isabelle2016/contrib/jfreechart-1.0.14-1/etc/settings	2016-07-07 17:22:55.716464804 +1000
@@ -1,9 +1,8 @@
 # -*- shell-script -*- :mode=shellscript:
 
 JFREECHART_HOME="$COMPONENT"
-JFREECHART_JAR_NAMES="iText-2.1.5.jar jcommon-1.0.18.jar jfreechart-1.0.14.jar"
-
-classpath "$JFREECHART_HOME/lib/iText-2.1.5.jar"
-classpath "$JFREECHART_HOME/lib/jcommon-1.0.18.jar"
-classpath "$JFREECHART_HOME/lib/jfreechart-1.0.14.jar"
+JFREECHART_JAR_NAMES="$(java-config --classpath itext | sed -e 's@:@ @g' -e 's@/[^ ]*/@@g') $(java-config --classpath jcommon-1.0 | sed -e 's@:@ @g' -e 's@/[^ ]*/@@g') $(java-config --classpath jfreechart-1.0 | sed -e 's@:@ @g' -e 's@/[^ ]*/@@g')"
 
+classpath "$(java-config --classpath itext)"
+classpath "$(java-config --classpath jcommon-1.0)"
+classpath "$(java-config --classpath jfreechart-1.0)"
